Validating Distributed System Test Execution Correctness via System Execution Traces
نویسندگان
چکیده
Effective validation of quality-of-service (QoS) properties (such as event prioritization, latency, and throughput) in distributed real-time and embedded (DRE) system requires evaluating system capabilities in representative execution environments. This validation process typically involves executing DRE systems composed of many software components on many hardware components connected via networks. Unfortunately, evaluating the correctness of such tests is hard since it requires validating many states dispersed across many hardware/software components. This paper provides two contributions to research on validating DRE system capabilities and QoS properties. First, it presents the Test Execution (TE) Score, which a methodology for validating execution correctness of DRE system tests. Second, it empirically evaluates TE Score in the context of a representative DRE system. Results from this evaluation show that TE Score can determine the percentage correctness in test execution—thereby increasing confidence in QoS assurance and improving test quality.
منابع مشابه
Data Mining System Execution Traces to Validate Distributed System Quality-of-Service Properties
System Execution Modeling (SEM) tools enable distributed system testers to validate Quality-ofService (QoS) properties, such as end-to-end response time, throughput, and scalability, during early phases of the software lifecycle. Analytical capabilities of QoS properties, however, are traditionally bounded by a SEM tool’s capabilities. This chapter discusses how to mine system execution traces,...
متن کاملVisualizing Execution Traces in RISCAL∗
We report on initial results concerning the visualization of execution traces of algorithms that are formally specified andmodeled in the RISCAlgorithmLanguage (RISCAL). These algorithms are executed and visualized in the associated software system which also validates their correctness by checking the satisfaction of the formal contracts. This work has been stimulated by corresponding visualiz...
متن کاملMonitoring and Recovery of Web Service Applications
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are distributed processes that dynamically discover properties of other web services. Since the overall system may not be available statically and since each business process is supposed to be relatively simple, we propose t...
متن کاملAdapting system execution traces to support analysis of software system performance properties
UNITE is a method and tool that analyzes software system performance properties, e.g., end-to-end response time, throughput, and service time, via system execution traces. UNITE, however, assumes that a system execution trace contains properties (e.g., identifiable keywords, unique message instances, and enough variation among the same event types) to support performance analysis. With proper p...
متن کاملReverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the availability of a collection of models formally describing various aspects of the system behavior and an execution trace obtained through monitoring the system during the execution of designated test cases. The model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010